The Logic of Constructivism
نویسندگان
چکیده
In this paper I dispute the current view that intuitionistic logic is the common basis for the three main trends of constructivism in the philosophy of mathematics: intuitionism, Russian constructivism and Bishop’s constructivism. The point is that the so-called ‘Markov’s principle’, which is accepted by Russian constructivists and rejected by the other two, is expressible in intuitionistic first-order logic, and so it appears to have the status of a logical principle. The result of appending this principle to a complete intuitionistic axiom system for first-order predicate logic constitutes a new logic, which could well be called ‘Markov’s logic’, and which should be regarded as the true logical system underlying Russian constructivism.
منابع مشابه
From constructivism to computer science 1
Preamble My ÿeld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their ÿeld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the construct...
متن کاملThe Effectiveness of E-Learning in Bacteriology Course Based on Constructivism vs. Cognitivism
Introduction: Increasing development of technology and information has created changes in the field of teaching and learning. For effective learning, e-learning design should be based on educational principles. The purpose of this study was to compare the effectiveness of e-learning content based on two educational approaches (constructivism and cognitivism) on the level of learning and learner...
متن کاملToward Islamic Republic of Iran Based on Constructivism
Turkey is one of the Muslim countries that has paid special attention (either confrontation or cooperation) to Islamic revolution in Iran. From the advent of Islamic revolution till now, Turkey has taken different stances that have determined the type of its interaction with Iran. The author intends to analyze Turkey's behavior toward Iran influenced by the revolution during different time inte...
متن کاملImplicit Epistemic Aspects of Constructive Logic
In the present paper I wish to regard constructive logic as a self-contained system for the treatment of epistemological issues; the explanations of the constructivist logical notions are cast in an epistemological mold already from the outset. The discussion offered here intends to make explicit this implicit epistemic character of constructivism. Particular attention will be given to the inte...
متن کاملConstructive Discursive Logic: Paraconsistency in Constructivism
We propose a constructive discursive logic with strong negation CDLSN based on Nelson’s constructive logic N as a constructive version of Jaśkowski’s discursive logic. In CDLSN, discursive negation is defined similar to intuitionistic negation and discursive implication is defined as material implication using discursive negation. We give an axiomatic system and Kripke semantics with a complete...
متن کامل